#include <device/led.h>
#include <platform/uart.h>



void main()
{

	led_init();
	uart_init(9600);
	led(OFF);
	while (1)
		uart_send_byte(0xa5);

}
